（来源：上观新闻）
但如果同时🚵♀️把等待时间🍌🇪🇭从 9👩🚀🧴 天压缩到 2💪 天（通📦👩👦👦过消除审批➕、缩短反馈💄周期、自动化测试🚾🌧），总🕋时间变成 2🎑 天 +👨👩👧👦🦇 2 🚁小时 🙅≈ 2⚠ 天，改善幅度能👋🇯🇵超过 🍝🇰🇭80%🏮😤。
因此，尽🕍管相关工作在😊🎈自动生成证明方面🧂🤷♂️取得了长足的进步2️⃣，但是从本质上🍭🔮来看形式化方法🇩🇯仍然是🔛🕌‘屠龙🍑之术’，难以🕴推广至大规模系👕统软件🧥。这个半马成绩已🇧🇲🦎超越人类5🈚🆙7分20秒的世🇮🇸界纪录🕖。
“用户通常使用自🚠然语言描述系↕🎌统设计，FM🇧🇩-Age▶🇬🇹nt 生成的规🦵📴约也是自然语言，🏍😶而传统形式🏐化验证器💣只支持基于🐆数学公式的推理，🐖二者存在💄巨大的语义鸿沟🥳。
